home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c-part1 / 5873 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  2.6 KB
  1. Path: cantaloupe.srv.cs.cmu.edu!usenet
  2. From: Luke.Hornof@irisa.fr (Luke Hornof)
  3. Newsgroups: comp.lang.functional,comp.lang.ml,comp.lang.c
  4. Subject: Announcement: 2 Post-Doctoral Positions Available
  5. Date: 21 Feb 1996 17:55:25 GMT
  6. Organization: IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE
  7. Sender: Luke.Hornof@irisa.fr
  8. Approved: comp-lang-ml@cs.cmu.edu
  9. Distribution: world
  10. Message-ID: <4gfmad$jf4@cantaloupe.srv.cs.cmu.edu>
  11. Reply-To: Luke.Hornof@irisa.fr (Luke Hornof)
  12. NNTP-Posting-Host: vixen.fox.cs.cmu.edu
  13. Originator: rowan@VIXEN.FOX.CS.CMU.EDU
  14.  
  15.  
  16. Announcement: 2 Post-Doctoral Positions Available
  17. -------------------------------------------------
  18.  
  19. Positions:
  20.  
  21. We have 2 post-doctoral positions available starting June 1, 1996 (or
  22. later). These positions are not restricted by citizenship. Approval of
  23. these openings is pending.
  24.  
  25. Context:
  26.  
  27. The research work is to be done in the Partial Evaluation Group at
  28. IRISA (Brittany, France). This group mainly consists of 1 faculty
  29. member, 1 research scientist, 2 post-docs, and 5 Phd students.  More
  30. information about the place and the research topics of the group can
  31. be obtained from our Web page 
  32. (URL: /site/irisa/WWW/htdocs/EXTERNE/projet/lande/consel/index.html)
  33.  
  34. Research Area:
  35.  
  36. Partial Evaluation is a program transformation approach. It is aimed
  37. at specializing programs with respect to invariants. Specialization
  38. can occur at compile time as well as run time. We are working on
  39. partial evaluation of imperative and applicative languages.  Our work
  40. is being applied to various areas such as operating systems.
  41.  
  42. Position 1:
  43.  
  44. This position is concerned with the design and development of a
  45. partial evaluation system for C programs. A first prototype of this
  46. system, called Tempo, has already been developed; it consists of
  47. various program analysis and program transformation phases. It is
  48. written both in SML and C. Applicants should have a solid background
  49. in optimizing compilation and program analysis.
  50.  
  51. Position 2:
  52.  
  53. For this position, the selected applicant is expected to participate
  54. in the development of partial evaluation techniques for real-time and
  55. distributed systems.  An example of this is telecommunication
  56. applications. As such, this topic combines both systems and
  57. programming language aspects. Applicants should have a solid
  58. background in some of these areas.
  59.  
  60.  
  61. To apply please send a resume, the name of three references, and a
  62. statement of research interests to charles.consel@irisa.fr and
  63. isabelle.vallee@irisa.fr.  Applications will be reviewed beginning
  64. March 15, 1996. Please contact Charles Consel if you need further
  65. information.
  66.  
  67.  
  68.